Stefan Edelkamp: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] KI 2011: Advances in Artificial Intelligence Volume 7006 || Generic Performance Metrics for Continuous Activity Recognition

Bach, Joscha, Edelkamp, Stefan

Year:

2011

Language:

english

File:

PDF, 276 KB

english, 2011

2

[Lecture Notes in Computer Science] KI 2011: Advances in Artificial Intelligence Volume 7006 || Hierarchically Structured Energy Markets as Novel Smart Grid Control Approach

Bach, Joscha, Edelkamp, Stefan

Year:

2011

Language:

english

File:

PDF, 296 KB

english, 2011

3

Time complexity of iterative-deepening-A∗

Richard E. Korf, Michael Reid, Stefan Edelkamp

Journal:

Artificial Intelligence

Year:

2001

Language:

english

File:

PDF, 178 KB

english, 2001

4

[IEEE 2007 IEEE Intelligent Transportation Systems Conference - Bellevue, WA, USA (2007.09.30-2007.10.3)] 2007 IEEE Intelligent Transportation Systems Conference - On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning

Drozdzynski, Maik, Edelkamp, Stefan, Gaubatz, Andreas, Jabbar, Shahid, Liebe, Miguel

Year:

2007

Language:

english

File:

PDF, 891 KB

english, 2007

5

[Communications in Computer and Information Science] Computer Games Volume 614 || The Surakarta Bot Revealed

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2016

Language:

english

File:

PDF, 827 KB

english, 2016

6

Efficient symbolic search for cost-optimal planning

Torralba, Álvaro, Alcázar, Vidal, Kissmann, Peter, Edelkamp, Stefan

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 820 KB

english, 2016

7

Action Planning for Directed Model Checking of Petri Nets

Stefan Edelkamp, Shahid Jabbar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 284 KB

english, 2006

8

Distributed Verification of Multi-threaded C++ Programs

Stefan Edelkamp, Shahid Jabbar, Damian Sulewski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 362 KB

english, 2008

9

Dynamic Incremental Hashing in Program Model Checking

Tilman Mehler, Stefan Edelkamp

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 308 KB

english, 2006

10

Trail-Directed Model Checking

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 299 KB

english, 2001

11

Directed explicit-state model checking in the validation of communication protocols

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 976 KB

english, 2004

12

Partial-order reduction and trail improvement in directed model checking

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 443 KB

english, 2004

13

Parallel probabilistic model checking on general purpose graphics processors

Dragan Bošnački, Stefan Edelkamp, Damian Sulewski, Anton Wijs

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 318 KB

english, 2011

14

Model checking software: on some new waves and some evergreens

Dragan Bošnački, Stefan Edelkamp

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 144 KB

english, 2010

15

Gamer, a General Game Playing Agent

Peter Kissmann, Stefan Edelkamp

Journal:

KI - Künstliche Intelligenz

Year:

2011

Language:

english

File:

PDF, 236 KB

english, 2011

16

The weak-heap data structure: Variants and applications

Edelkamp, Stefan, Elmasry, Amr, Katajainen, Jyrki

Journal:

Journal of Discrete Algorithms

Year:

2012

Language:

english

File:

PDF, 541 KB

english, 2012

17

Heuristic Search || Computational Biology

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

18

[IEEE 2013 10th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT) - Melville, NY (2013.10.21-2013.10.22)] 2013 10th International Conference and Expo on Emerging Technologies for a Smarter World (CEWIT) - Agent-based planning and control for groupage traffic

Gath, Max, Herzog, Otthein, Edelkamp, Stefan

Year:

2013

Language:

english

File:

PDF, 1.28 MB

english, 2013

19

Weak heaps engineered

Edelkamp, Stefan, Elmasry, Amr, Katajainen, Jyrki

Journal:

Journal of Discrete Algorithms

Year:

2013

Language:

english

File:

PDF, 276 KB

english, 2013

20

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units

Bosnacki, Dragan, Edelkamp, Stefan, Sulewski, Damian, Wijs, Anton

Year:

2010

Language:

english

File:

PDF, 615 KB

english, 2010

21

[IEEE 2013 IEEE Symposium on Computational Intelligence in Scheduling (CISched) - Singapore, Singapore (2013.04.16-2013.04.19)] 2013 IEEE Symposium on Computational Intelligence in Scheduling (CISched) - Algorithm and knowledge engineering for the TSPTW problem

Edelkamp, Stefan, Gath, Max, Cazenave, Tristan, Teytaud, Fabien

Year:

2013

Language:

english

File:

PDF, 190 KB

english, 2013

22

[IEEE 2013 IEEE Symposium on Computational Intelligence in Production and Logistics Systems (CIPLS) - Singapore, Singapore (2013.04.16-2013.04.19)] 2013 IEEE Symposium on Computational Intelligence in Production and Logistics Systems (CIPLS) - Agent-based dispatching in groupage traffic

Gath, Max, Edelkamp, Stefan, Herzog, Otthein

Year:

2013

Language:

english

File:

PDF, 661 KB

english, 2013

23

Combinatorial Planning with Numerical Parameter Optimization for Local Control in Multi-agent Systems

Pantke, Florian, Edelkamp, Stefan, Herzog, Otthein

Journal:

Procedia Technology

Year:

2014

Language:

english

File:

PDF, 1.01 MB

english, 2014

24

[IEEE 2014 IEEE Conference on Computational Intelligence and Games (CIG) - Dortmund, Germany (2014.8.26-2014.8.29)] 2014 IEEE Conference on Computational Intelligence and Games - Solving Physical Traveling Salesman Problems with policy adaptation

Edelkamp, Stefan, Greulich, Christoph

Year:

2014

Language:

english

File:

PDF, 871 KB

english, 2014

25

[IEEE 2014 IEEE Conference on Computational Intelligence and Games (CIG) - Dortmund, Germany (2014.8.26-2014.8.29)] 2014 IEEE Conference on Computational Intelligence and Games - Multi-goal motion planning with physics-based game engines

Edelkamp, Stefan, Plaku, Erion

Year:

2014

Language:

english

File:

PDF, 1.96 MB

english, 2014

26

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Flash-Efficient LTL Model Checking with Minimal Counterexamples

Edelkamp, Stefan, Sulewski, Damian

Year:

2008

Language:

english

File:

PDF, 387 KB

english, 2008

27

[Lecture Notes in Computer Science] Model Checking Software Volume 4595 || A SystemC/TLM Semantics in Promela and Its Possible Applications

Bošnački, Dragan, Edelkamp, Stefan

Year:

2007

Language:

english

File:

PDF, 543 KB

english, 2007

28

Heuristic Search || Introduction

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 399 KB

english, 2012

29

Implementing HEAPSORT with ( n log n - 0.9 n ) and QUICKSORT with ( n log n + 0.2 n ) comparisons

Edelkamp, Stefan, Stiegeler, Patrick

Journal:

Journal of Experimental Algorithmics

Year:

2002

File:

PDF, 349 KB

2002

30

Heuristic Search || Automated System Verification

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 326 KB

english, 2012

31

Symbolic discrete-time planning with continuous numeric action parameters for agent-controlled processes

Pantke, Florian, Edelkamp, Stefan, Herzog, Otthein

Journal:

Year:

2015

Language:

english

File:

PDF, 3.98 MB

english, 2015

32

[IEEE 2014 11th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT) - Melville, NY, USA (2014.10.29-2014.10.30)] 2014 11th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT) - Autonomous and flexible multiagent systems enhance transport logistics

Gath, Max, Herzog, Otthein, Edelkamp, Stefan

Year:

2014

Language:

english

File:

PDF, 1.13 MB

english, 2014

33

[Communications in Computer and Information Science] Computer Games Volume 614 || Multi-agent Retrograde Analysis

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2016

Language:

english

File:

PDF, 170 KB

english, 2016

34

[Communications in Computer and Information Science] Computer Games Volume 614 || The GRL System: Learning Board Game Rules with Piece-Move Interactions

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2016

Language:

english

File:

PDF, 1.44 MB

english, 2016

35

[Communications in Computer and Information Science] Computer Games Volume 614 ||

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2016

Language:

english

File:

PDF, 13.09 MB

english, 2016

36

[IEEE 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) - Warsaw, Poland (2015.9.24-2015.9.26)] 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) - Intelligent monitoring with background knowledge

Detken, Kai-Oliver, Edelkamp, Stefan, Elfers, Carsten, Humann, Malte, Rix, Thomas

Year:

2015

Language:

english

File:

PDF, 176 KB

english, 2015

37

[Communications in Computer and Information Science] Computer Games Volume 614 || An Experimental Investigation on the Pancake Problem

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2016

Language:

english

File:

PDF, 209 KB

english, 2016

38

Multi-group motion planning in virtual environments

Plaku, Erion, Rashidian, Sara, Edelkamp, Stefan

Journal:

Computer Animation and Virtual Worlds

Year:

2016

Language:

english

File:

PDF, 3.37 MB

english, 2016

39

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

Bošnački, Dragan, Edelkamp, Stefan, Lluch Lafuente, Alberto, Wijs, Anton

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 121 KB

english, 2016

40

Multiregion Inspection by Combining Clustered Traveling Salesman Tours With Sampling-Based Motion Planning

Edelkamp, Stefan, Pomarlan, Mihai, Plaku, Erion

Journal:

IEEE Robotics and Automation Letters

Year:

2017

Language:

english

File:

PDF, 3.66 MB

english, 2017

41

Heap Construction—50 Years Later

Edelkamp, Stefan, Elmasry, Amr, Katajainen, Jyrki

Journal:

The Computer Journal

Year:

2016

Language:

english

File:

PDF, 970 KB

english, 2016

42

[IEEE 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops) - Dubai, United Arab Emirates (2016.11.7-2016.11.10)] 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops) - Nested Rollout Policy Adaptation for Optimizing Vehicle Selection in Complex VRPs

Abdo, Ashraf, Edelkamp, Stefan, Lawo, Michael

Year:

2016

Language:

english

File:

PDF, 263 KB

english, 2016

43

[IEEE 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops) - Dubai, United Arab Emirates (2016.11.7-2016.11.10)] 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops) - Optimizing Last Mile Delivery Using Public Transport with Multi-Agent Based Control

Chatterjee, Rajeshwari, Greulich, Christoph, Edelkamp, Stefan

Year:

2016

Language:

english

File:

PDF, 980 KB

english, 2016

44

[Communications in Computer and Information Science] Computer Games Volume 705 ||

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2017

Language:

english

File:

PDF, 12.69 MB

english, 2017

45

[Communications in Computer and Information Science] Computer Games Volume 705 || AI Wolf Contest — Development of Game AI Using Collective Intelligence —

Cazenave, Tristan, Winands, Mark H.M., Edelkamp, Stefan, Schiffel, Stephan, Thielscher, Michael, Togelius, Julian

Year:

2017

Language:

english

File:

PDF, 1.89 MB

english, 2017

46

Heuristic Search || Symbolic Search

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 637 KB

english, 2012

47

Heuristic Search || External Search

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

48

Heuristic Search || Memory-Restricted Search

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 513 KB

english, 2012

49

A case study of planning for smart factories

Edelkamp, Stefan, Greulich, Christoph

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2018

Language:

english

File:

PDF, 1.19 MB

english, 2018

50

Heuristic Search || Basic Search Algorithms

Edelkamp, Stefan

Year:

2012

Language:

english

File:

PDF, 594 KB

english, 2012